invention of the eraser